namespace SV_FMTSTR_GENERIC {
﻿int main()
{
	printf(some_unknown_function("This is suspicious"));  /* SV.FMTSTR.GENERIC reported here */

	return 0;
}

int main()
{
	printf(some_unknown_function("This is suspicious"));  /* SV.FMTSTR.GENERIC reported here */
	return 0;
}


int main()
{
	printf(gettext("This should be OK"));                 /* No defect reported here */
	return 0;
}

int main()
{
	printf("%s", some_unknown_function("This is better")); /* SV.FMTSTR.GENERIC not reported */
	return 0;
}
}}